Declarative Power Sequencing

Declarative Power, Representation, and Mandate. A Formal Analysis

This paper provides a formal framework for developing the idea of normative co-ordination. This idea is based on the assumption that agents can achieve flexible co-ordination by conferring normative positions to other agents. These positions include duties, permissions, and powers. In particular, we introduce the idea of declarative power, i.e. the capacity of the power-holder of creating norma...

Far Beyond Declarative and Non-Declarative Memories

According to general learning theory two major forms of learning can be observed across species. These universal forms of learning are classical and operant conditioning (Tarpy, 1997). Although both forms of conditioning can occur in the absence of awareness of the contingencies between CS (conditioned stimulus) and UCS (unconditioned stimulus) (or action – consequence contingencies) (Huston an...

Reportrapport Declarative Interpretations Reconsidered Declarative Interpretations Reconsidered

Three semantics have been proposed as the most promising candidates for a declarative interpretation for logic programs and pure Prolog programs: the least Herbrand model, the least term model, i.e. the C-semantics, and the S-semantics. Previous results show that a strictly increasing information ordering between these semantics exists for the class of all programs. In particular, the S-semanti...

Declarative Visualization

Library and application-based information visualization tools incur significant penalties that hinder the adoption of visualization as a technique in a variety of situations. Traditional library use necessitates familiarity with the data structures and control flows that are integral to traditional programming, but not central to visualization. Additionally, many library based visualization too...

Declarative Phonology